| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Formal Methods for Logic Control Software | Formale Methoden für Steuerungssoftware (WS) | Fach-/Modulprüfung | 6 | 440708 | ||
| Formale Methoden für Steuerungssoftware (Übung) | Fach-/Modulprüfung | 440212 | ||||
| Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 436588 | Mo 14:30-16:00 AH III (2350|314.1) (×13) Fr 08:30-10:00 AH III (2350|314.1) (×13) | |||
| Foundations of the UML | Theoretical Foundations of the UML | Fach-/Modulprüfung | 6 | 442197 | ||
| Theoretical Foundations of the UML (FUML) | Übung | 442103 | Mo 10:30-12:00 AH V (2356|050) (×11) | |||
| Theoretical Foundations of the UML (FUML) | Vorlesung | 442104 | Mo 16:30-18:00 AH I (2350|028) (×8) Do 16:30-18:00 AH V (2356|050) (×10) Do 17:00-19:00 AH I (2350|028) (×1) | |||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 439625 | ||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung (Satisfiability Checking) | Fach-/Modulprüfung | 6 | 440284 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 436932 | Mo 08:30-10:00 AH II (2350|111) (×13) Mo 08:30-10:00 Online-Veranstaltung (×13) Di 12:30-14:00 AH II (2350|111) (×14) Di 12:30-14:00 Online-Veranstaltung (×14) |